procedūros invariantas

procedūros invariantas
procedūros invariantas statusas T sritis informatika apibrėžtis Teiginys, kuris yra teisingas prieš vykdant procedūrą ir įvykdžius ją. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. atitikmenys: angl. procedure invariant

Enciklopedinis kompiuterijos žodynas . . 2008.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • invariantas — statusas T sritis informatika apibrėžtis ↑Teiginys programoje, kuris atliekant programą turi būti visada teisingas. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys… …   Enciklopedinis kompiuterijos žodynas

  • invariant — invariantas statusas T sritis informatika apibrėžtis ↑Teiginys programoje, kuris atliekant programą turi būti visada teisingas. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto… …   Enciklopedinis kompiuterijos žodynas

  • procedure invariant — procedūros invariantas statusas T sritis informatika apibrėžtis Teiginys, kuris yra teisingas prieš vykdant procedūrą ir įvykdžius ją. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai… …   Enciklopedinis kompiuterijos žodynas

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”